-
1 формальное вычисление
formal calculation мат., formal computationРусско-английский научно-технический словарь Масловского > формальное вычисление
-
2 вычисление
(см. также результат) calculation, calculating, computation, evaluation• Более точное вычисление показывает, что... - A more exact calculation shows that...• Более тщательные вычисления, проделанные Смитом [1], дают... - A more accurate calculation by Smith [1] gives...• Вычисления были выполнены... - The calculations were performed (by)...• Вычисления вручную имеют тот недостаток, что... - Hand calculations have the disadvantage that...• Вычисления показали, что... - Computations have shown that...• Вычисления слегка упрощаются, если... - The computational work simplifies somewhat if...• Вычисления, в основном, являются такими же, как... - The calculations are essentially the same as...• Читателю предоставляется проделать это простое вычисление в деталях. - The details of this straightforward computation are left to the reader.• Довольно громоздкое вычисление показывает, что... - A somewhat lengthy computation shows that...• Довольно простые вычисления показывают, что... - A rather easy calculation shows that...• Затем небольшое вычисление, использующее лемму 3, приводит к тому, что... - Then a little calculation using Lemma 3 yields that...• Намеченные выше вычисления показывают, что... - The calculations outlined above show that...• Однако при вычислении величины W мы должны принять во внимание тот факт, что... - In computing W, however, we must take into account the fact that...• Остальная часть леммы 2 следует из весьма простых вычислений. - The rest of Lemma 2 follows by a very easy calculation.• Подобные вычисления выявляют, что... - Similar computations reveal that...• Подобные решения наиболее полезны для вычисления... - Such solutions are most useful for calculating...• Подробные вычисления затрудняются вследствие проблем, возникающих из... - Detailed calculations are beset with difficulties arising from...• Пример послужит для демонстрации выполнения этого вычисления. - An example will serve to show how the calculation is carried out.• Реальные вычисления, однако, показывают, что... - Actual computations show, however, that...• Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...• Стандартные вычисления показывают, что... - A routine calculation shows that...• Таким образом, наша задача сводится к вычислению... - Our problem becomes, therefore, one of evaluating...• Только что проделанные вычисления показывают нам, что... - The result just calculated shows us that...• Точное вычисление выражения (10) было бы трудным. - A precise evaluation of (10) would be difficult.• Уравнение (4) часто используется как базис для вычислений... - Equation (4) is often used as a basis for the calculation of...• Формальные вычисления показывают, что... - A formal calculation shows that...• Чтобы упростить вычисления, введем... - То simplify the computations, we introduce...• Эти вычисления слегка усложняются вследствие... - The calculations are made slightly more complicated by...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of... -
3 формальный
(см. также верный, строгий) formal• Дадим формальное доказательство (этого). - The formal proof is as follows.•Представленное здесь рассмотрение было чисто формальным. - The treatment given here has been purely formal.• Следовательно, у нас получилось формальное решение для... - We therefore have a formal solution for...• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result.• Формальное вычисление показывает, что... - A formal calculation shows that...• Формальный вывод (этого соотношения) приводится во втором параграфе. - A formal derivation is given in Section 2.• Формальным обоснованием того факта, что... - The formal foundation of the fact that the boundary conditions are... -
4 формальное вычисление
Mathematics: formal calculation, formal computationУниверсальный русско-английский словарь > формальное вычисление
-
5 формальные вычисления показывают, что (...)
Mathematics: A formal calculation shows that (...)Универсальный русско-английский словарь > формальные вычисления показывают, что (...)
-
6 формальные вычисления показывают, что
Mathematics: (...) A formal calculation shows that (...)Универсальный русско-английский словарь > формальные вычисления показывают, что
См. также в других словарях:
Formal calculation — In mathematical logic, a formal calculation is sometimes defined as a calculation which is systematic, but without a rigorous justification . This means that we are manipulating the symbols in an expression using a generic substitution, without… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
formal — formal1 formalness, n. /fawr meuhl/, adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects. 2. marked by form or ceremony: a formal occasion. 3. designed for wear or use at occasions or … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
formal — for•mal [[t]ˈfɔr məl[/t]] adj. 1) being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects[/ex] 2) marked by form or ceremony: a formal occasion[/ex] 3) clo designed for wear or use at elaborate… … From formal English to slang
formal rationality — As defined by Max Weber in his account of the market and economic action, this refers to the extent of impersonal quantitative calculation (that is, risk assessment) which is possible and applied in provisioning for needs. Money is the best means … Dictionary of sociology
Back-Of-The-Envelope Calculation — An informal mathematical computation, often performed on a scrap of paper such as an envelope. A back of the envelope calculation uses estimated and/or rounded numbers to quickly develop a ballpark figure. The result should be more accurate than… … Investment dictionary
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Division by zero — This article is about the mathematical concept. For other uses, see Division by zero (disambiguation). The function y = 1/x. As x approaches 0 from the right, y approaches infinity. As x approaches 0 from the left, y approaches negative … Wikipedia
List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… … Wikipedia
